-
1 конструктивное исчисление
Русско-английский научно-технический словарь Масловского > конструктивное исчисление
-
2 конструктивное исчисление
Mathematics: constructive calculusУниверсальный русско-английский словарь > конструктивное исчисление
-
3 конструктивное исчисление предикатов
Русско-английский научно-технический словарь Масловского > конструктивное исчисление предикатов
-
4 конструктивное исчисление высказываний
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное исчисление высказываний
-
5 конструктивное исчисление предикатов
Mathematics: constructive predicate calculusУниверсальный русско-английский словарь > конструктивное исчисление предикатов
-
6 конструктивное пропозициональное исчисление
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное пропозициональное исчисление
См. также в других словарях:
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Constructive speech — Part of the series Policy Debate Organization Policy debate competitions Inter Collegiate policy debate Format Structure of policy debate · Resolution Constructive · … Wikipedia
Constructive dilemma — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Constructive quantum field theory — In mathematical physics, constructive quantum field theory is the field devoted to showing that quantum theory is mathematically compatible with special relativity. This demonstration requires new mathematics, in a sense analogous to Newton… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium